Live Music
Archive
Librivox
Free Audio
Metropolitan Museum
Cleveland
Museum of Art
Internet
Arcade
Console Living Room
Open Library
American
Libraries
TV News
Understanding
9/11OSCW 2024 - Franziskus Kiefer - Cryptography with Formal Guarantees using Hax
Video Item Preview
Share or Embed This Item
- Publication date
- 2024-03-28
- Usage
- Attribution-NonCommercial-NoDerivs 4.0 International
- Topics
- oscw2024, oscw, opensourcecryptoworkshop, cryptography, f-star, hacs, hax, formal verification
- Language
- English
- Item Size
- 383.6M
Resource: https://github.com/hacspec/hax/tree/franziskus/toronto-2024/examples#before-the-workshop
